Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
961	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory
962	Digital Genesis: Computers, Evolution and Artificial Life Tim Taylor1,2 , Alan Dorin1 and Kevin Korb1 1 2 Add to Reading List Source URL: www.tim-taylor.com Language: English - Date: 2014-03-27 03:33:39 Nils Aall Barricelli Computability theory Theoretical computer science Evolutionary computation Artificial life Cellular automaton Alan Turing John von Neumann Mathematical and theoretical biology Science Mathematics Academia
963	A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:19 Theoretical computer science Applied mathematics Generic programming Sheaf Combinatory logic Holomorphic functional calculus Mathematics Computability theory Lambda calculus
964	Example 9: Student work The Legend (Introduction) Add to Reading List Source URL: library.tedankara.k12.tr Language: English - Date: 2012-11-11 11:01:38 Functions and mappings Function Puzzles Computability theory Mathematics Mechanical puzzles Tower of Hanoi
965	L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Applied mathematics Mathematical logic Programming idioms Theory of computation Computability theory Recursion Recursive definition Coinduction Lawrence Paulson Mathematics Computer programming Theoretical computer science
966	Generators and Automorphism Bases of the Computably Enumerable Degrees Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Computability theory Theory of computation Field theory Recursively enumerable set Splitting lemma Field Mathematics Algebraic structures Algebra
967	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
968	A Computational Prospect of Infinity: ω1 -Recursion Theory Noam Greenberg Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Recursively enumerable set Enumeration Logic Computability theory Theory of computation Mathematics
969	PA sets, 1-random sets, Π01 classes Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 PA degree Ordered pair Function Mathematics Computability theory Mathematical logic
970	Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Logical syntax Proof theory Formal languages Decidability Atomic model Theory Well-formed formula Recursive languages and sets Logic Metalogic Model theory

UPDATE